[next] [prev] [prev-tail] [tail] [up]

2.2.15 Integrals 1401 to 1500

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 1401

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

181 181 29 20 0 0 39 0 0

N.S.

1 1.00 0.16 0.11 0.00 0.00 0.22 0.00 0.00

time (sec)

N/A 0.238 10.008 5.509 0.000 0.000 0.523 0.000 0.000

Problem 1402

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

378 401 41 20 0 24 36 0 0

N.S.

1 1.06 0.11 0.05 0.00 0.06 0.10 0.00 0.00

time (sec)

N/A 0.432 10.019 6.003 0.000 0.103 0.498 0.000 0.000

Problem 1403

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

354 380 29 20 0 11 36 0 0

N.S.

1 1.07 0.08 0.06 0.00 0.03 0.10 0.00 0.00

time (sec)

N/A 0.421 10.017 5.170 0.000 0.085 0.388 0.000 0.000

Problem 1404

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

378 401 29 20 0 26 39 0 0

N.S.

1 1.06 0.08 0.05 0.00 0.07 0.10 0.00 0.00

time (sec)

N/A 0.429 10.010 5.140 0.000 0.088 0.422 0.000 0.000

Problem 1405

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

394 406 41 20 0 0 36 0 0

N.S.

1 1.03 0.10 0.05 0.00 0.00 0.09 0.00 0.00

time (sec)

N/A 0.481 10.021 6.309 0.000 0.000 0.522 0.000 0.000

Problem 1406

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

376 385 29 20 0 0 36 0 0

N.S.

1 1.02 0.08 0.05 0.00 0.00 0.10 0.00 0.00

time (sec)

N/A 0.424 10.019 5.256 0.000 0.000 0.395 0.000 0.000

Problem 1407

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

392 401 27 20 0 0 37 0 31

N.S.

1 1.02 0.07 0.05 0.00 0.00 0.09 0.00 0.08

time (sec)

N/A 0.451 10.007 5.133 0.000 0.000 0.409 0.000 5.893

Problem 1408

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

51 51 28 25 37 24 54 37 32

N.S.

1 1.00 0.55 0.49 0.73 0.47 1.06 0.73 0.63

time (sec)

N/A 0.179 0.031 4.440 0.210 0.313 1.065 0.266 5.751

Problem 1409

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

40 40 23 20 28 19 39 28 25

N.S.

1 1.00 0.58 0.50 0.70 0.48 0.98 0.70 0.62

time (sec)

N/A 0.174 0.028 4.620 0.186 0.292 0.590 0.274 5.676

Problem 1410

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 27 18 15 19 14 24 19 14

N.S.

1 1.00 0.67 0.56 0.70 0.52 0.89 0.70 0.52

time (sec)

N/A 0.164 0.026 4.590 0.194 0.276 0.327 0.273 5.645

Problem 1411

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

13 13 13 10 9 9 12 9 9

N.S.

1 1.00 1.00 0.77 0.69 0.69 0.92 0.69 0.69

time (sec)

N/A 0.147 0.016 4.483 0.187 0.309 0.180 0.259 5.731

Problem 1412

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

39 37 39 35 44 50 194 44 28

N.S.

1 0.95 1.00 0.90 1.13 1.28 4.97 1.13 0.72

time (sec)

N/A 0.159 0.066 4.663 0.297 0.284 0.768 0.293 5.787

Problem 1413

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

55 58 49 47 63 66 49 63 40

N.S.

1 1.05 0.89 0.85 1.15 1.20 0.89 1.15 0.73

time (sec)

N/A 0.170 0.115 4.684 0.280 0.266 1.575 0.293 5.917

Problem 1414

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

71 79 54 51 81 71 68 68 65

N.S.

1 1.11 0.76 0.72 1.14 1.00 0.96 0.96 0.92

time (sec)

N/A 0.179 0.118 4.556 0.272 0.298 3.627 0.289 6.182

Problem 1415

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

45 50 38 30 73 54 36 51 0

N.S.

1 1.11 0.84 0.67 1.62 1.20 0.80 1.13 0.00

time (sec)

N/A 0.172 0.204 4.531 0.200 0.274 1.769 0.367 0.000

Problem 1416

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 29 35 25 45 45 26 46 0

N.S.

1 0.94 1.13 0.81 1.45 1.45 0.84 1.48 0.00

time (sec)

N/A 0.158 0.182 4.534 0.219 0.282 0.872 0.305 0.000

Problem 1417

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 16 16 13 12 25 12 12 12

N.S.

1 1.00 1.00 0.81 0.75 1.56 0.75 0.75 0.75

time (sec)

N/A 0.140 0.155 4.456 0.183 0.274 0.342 0.274 5.565

Problem 1418

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

33 33 23 18 25 35 31 32 17

N.S.

1 1.00 0.70 0.55 0.76 1.06 0.94 0.97 0.52

time (sec)

N/A 0.157 0.363 4.481 0.183 0.411 0.465 0.295 5.561

Problem 1419

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F(-2) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

49 54 28 25 37 44 70 0 28

N.S.

1 1.10 0.57 0.51 0.76 0.90 1.43 0.00 0.57

time (sec)

N/A 0.174 0.225 4.508 0.186 0.263 0.762 0.000 5.629

Problem 1420

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

202 211 56 20 0 43 36 0 0

N.S.

1 1.04 0.28 0.10 0.00 0.21 0.18 0.00 0.00

time (sec)

N/A 0.259 9.609 6.906 0.000 0.081 0.681 0.000 0.000

Problem 1421

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

186 190 42 20 0 34 36 0 0

N.S.

1 1.02 0.23 0.11 0.00 0.18 0.19 0.00 0.00

time (sec)

N/A 0.239 7.664 5.710 0.000 0.086 0.455 0.000 0.000

Problem 1422

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

186 190 42 20 0 33 36 0 0

N.S.

1 1.02 0.23 0.11 0.00 0.18 0.19 0.00 0.00

time (sec)

N/A 0.234 8.409 5.218 0.000 0.089 0.442 0.000 0.000

Problem 1423

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

202 211 29 20 0 46 39 0 0

N.S.

1 1.04 0.14 0.10 0.00 0.23 0.19 0.00 0.00

time (sec)

N/A 0.260 10.009 5.349 0.000 0.084 0.525 0.000 0.000

Problem 1424

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

195 200 54 20 0 0 36 0 0

N.S.

1 1.03 0.28 0.10 0.00 0.00 0.18 0.00 0.00

time (sec)

N/A 0.259 8.350 6.633 0.000 0.000 0.600 0.000 0.000

Problem 1425

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

179 179 42 20 0 0 36 0 0

N.S.

1 1.00 0.23 0.11 0.00 0.00 0.20 0.00 0.00

time (sec)

N/A 0.225 6.033 5.549 0.000 0.000 0.441 0.000 0.000

Problem 1426

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

179 179 38 18 0 0 34 0 16

N.S.

1 1.00 0.21 0.10 0.00 0.00 0.19 0.00 0.09

time (sec)

N/A 0.230 10.013 5.037 0.000 0.000 0.432 0.000 0.088

Problem 1427

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

197 202 29 20 0 0 39 0 0

N.S.

1 1.03 0.15 0.10 0.00 0.00 0.20 0.00 0.00

time (sec)

N/A 0.252 10.008 5.539 0.000 0.000 0.559 0.000 0.000

Problem 1428

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

394 422 54 20 0 45 36 0 0

N.S.

1 1.07 0.14 0.05 0.00 0.11 0.09 0.00 0.00

time (sec)

N/A 0.441 8.993 7.510 0.000 0.093 0.763 0.000 0.000

Problem 1429

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

376 401 41 20 0 37 36 0 0

N.S.

1 1.07 0.11 0.05 0.00 0.10 0.10 0.00 0.00

time (sec)

N/A 0.443 6.547 6.082 0.000 0.081 0.507 0.000 0.000

Problem 1430

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

378 400 29 20 0 36 36 0 0

N.S.

1 1.06 0.08 0.05 0.00 0.10 0.10 0.00 0.00

time (sec)

N/A 0.450 6.055 5.368 0.000 0.090 0.381 0.000 0.000

Problem 1431

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

394 422 29 20 0 49 39 0 0

N.S.

1 1.07 0.07 0.05 0.00 0.12 0.10 0.00 0.00

time (sec)

N/A 0.443 10.010 5.209 0.000 0.079 0.493 0.000 0.000

Problem 1432

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

392 406 43 20 0 0 36 0 0

N.S.

1 1.04 0.11 0.05 0.00 0.00 0.09 0.00 0.00

time (sec)

N/A 0.485 6.677 6.296 0.000 0.000 0.552 0.000 0.000

Problem 1433

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

391 407 29 20 0 0 36 0 0

N.S.

1 1.04 0.07 0.05 0.00 0.00 0.09 0.00 0.00

time (sec)

N/A 0.454 6.425 5.363 0.000 0.000 0.405 0.000 0.000

Problem 1434

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

408 422 29 20 0 0 37 0 31

N.S.

1 1.03 0.07 0.05 0.00 0.00 0.09 0.00 0.08

time (sec)

N/A 0.470 10.009 5.257 0.000 0.000 0.477 0.000 6.219

Problem 1435

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 25 25 30 25 33 94 43 34

N.S.

1 1.00 1.00 1.20 1.00 1.32 3.76 1.72 1.36

time (sec)

N/A 0.169 0.045 0.078 0.184 0.427 0.383 0.282 6.230

Problem 1436

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 17 14 13 13 12 13 13

N.S.

1 1.00 1.00 0.82 0.76 0.76 0.71 0.76 0.76

time (sec)

N/A 0.162 0.002 0.084 0.194 0.274 0.016 0.263 0.022

Problem 1437

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

13 13 13 12 14 17 10 18 11

N.S.

1 1.00 1.00 0.92 1.08 1.31 0.77 1.38 0.85

time (sec)

N/A 0.157 0.004 0.031 0.185 0.366 0.066 0.255 5.819

Problem 1438

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 43 40 92 43 85 313 117 93

N.S.

1 1.00 0.93 2.14 1.00 1.98 7.28 2.72 2.16

time (sec)

N/A 0.186 0.141 11.307 0.176 0.311 0.824 0.275 6.230

Problem 1439

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 30 30 25 24 24 24 24 24

N.S.

1 1.00 1.00 0.83 0.80 0.80 0.80 0.80 0.80

time (sec)

N/A 0.171 0.001 3.134 0.192 0.296 0.016 0.255 0.037

Problem 1440

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 28 27 24 25 27 24 32 23

N.S.

1 1.04 1.00 0.89 0.93 1.00 0.89 1.19 0.85

time (sec)

N/A 0.175 0.001 5.188 0.182 0.311 0.078 0.276 0.033

Problem 1441

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

39 39 41 0 0 0 0 0 0

N.S.

1 1.00 1.05 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.163 0.085 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1442

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

15 15 15 14 13 13 10 14 13

N.S.

1 1.00 1.00 0.93 0.87 0.87 0.67 0.93 0.87

time (sec)

N/A 0.144 0.004 3.231 0.207 0.267 0.100 0.271 5.765

Problem 1443

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F(-2) A A B

verified

N/A No No Yes TBD TBD TBD TBD TBD

size

335 389 262 27 0 0 20 310 196

N.S.

1 1.16 0.78 0.08 0.00 0.00 0.06 0.93 0.59

time (sec)

N/A 0.783 0.280 8.894 0.000 0.000 0.083 0.270 6.695

Problem 1444

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 26 22 21 23 18 15 22 18

N.S.

1 1.18 1.00 0.95 1.05 0.82 0.68 1.00 0.82

time (sec)

N/A 0.154 0.057 11.030 0.194 0.301 0.172 0.275 0.104

Problem 1445

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

38 38 40 0 0 0 0 0 0

N.S.

1 1.00 1.05 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.160 0.169 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1446

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 16 16 15 15 15 12 16 15

N.S.

1 1.00 1.00 0.94 0.94 0.94 0.75 1.00 0.94

time (sec)

N/A 0.144 0.008 3.191 0.215 0.255 0.110 0.265 5.905

Problem 1447

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F(-2) A A B

verified

N/A No No Yes TBD TBD TBD TBD TBD

size

335 390 263 29 0 0 22 290 246

N.S.

1 1.16 0.79 0.09 0.00 0.00 0.07 0.87 0.73

time (sec)

N/A 0.640 0.344 3.159 0.000 0.000 0.087 0.278 6.819

Problem 1448

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 27 23 22 25 20 15 24 21

N.S.

1 1.17 1.00 0.96 1.09 0.87 0.65 1.04 0.91

time (sec)

N/A 0.151 0.067 5.245 0.188 0.281 0.180 0.282 0.106

Problem 1449

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C A A B

verified

N/A No No Yes TBD TBD TBD TBD TBD

size

166 191 166 44 0 65 46 127 103

N.S.

1 1.15 1.00 0.27 0.00 0.39 0.28 0.77 0.62

time (sec)

N/A 0.404 0.020 11.340 0.000 3.846 0.094 0.266 6.206

Problem 1450

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C A A B

verified

N/A No No Yes TBD TBD TBD TBD TBD

size

165 189 166 38 0 65 44 129 103

N.S.

1 1.15 1.01 0.23 0.00 0.39 0.27 0.78 0.62

time (sec)

N/A 0.384 0.055 3.222 0.000 3.602 0.094 0.264 6.076

Problem 1451

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A C A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

203 226 361 36 190 117 27 183 55

N.S.

1 1.11 1.78 0.18 0.94 0.58 0.13 0.90 0.27

time (sec)

N/A 0.440 0.438 3.298 0.299 0.264 0.119 0.277 0.134

Problem 1452

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

15 15 15 14 13 13 10 14 13

N.S.

1 1.00 1.00 0.93 0.87 0.87 0.67 0.93 0.87

time (sec)

N/A 0.141 0.006 3.144 0.189 0.261 0.116 0.269 5.725

Problem 1453

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A C A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

193 212 279 29 177 132 27 199 39

N.S.

1 1.10 1.45 0.15 0.92 0.68 0.14 1.03 0.20

time (sec)

N/A 0.407 0.075 14.881 0.279 0.270 0.097 0.277 0.113

Problem 1454

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

29 29 29 19 18 72 56 18 19

N.S.

1 1.00 1.00 0.66 0.62 2.48 1.93 0.62 0.66

time (sec)

N/A 0.153 0.011 5.359 0.274 0.273 0.117 0.274 0.060

Problem 1455

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A C A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

193 212 279 27 177 120 22 187 37

N.S.

1 1.10 1.45 0.14 0.92 0.62 0.11 0.97 0.19

time (sec)

N/A 0.397 0.047 5.210 0.324 0.272 0.100 0.279 5.721

Problem 1456

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 26 22 21 23 18 15 24 18

N.S.

1 1.18 1.00 0.95 1.05 0.82 0.68 1.09 0.82

time (sec)

N/A 0.152 0.011 5.201 0.251 0.276 0.201 0.280 0.089

Problem 1457

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A C A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

203 227 385 53 191 144 34 195 55

N.S.

1 1.12 1.90 0.26 0.94 0.71 0.17 0.96 0.27

time (sec)

N/A 0.419 0.087 3.218 0.278 0.295 0.132 0.298 5.813

Problem 1458

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

40 40 164 32 31 94 71 31 28

N.S.

1 1.00 4.10 0.80 0.78 2.35 1.78 0.78 0.70

time (sec)

N/A 0.160 0.039 3.168 0.276 0.273 0.173 0.301 5.793

Problem 1459

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A C A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

203 229 387 58 192 161 34 183 55

N.S.

1 1.13 1.91 0.29 0.95 0.79 0.17 0.90 0.27

time (sec)

N/A 0.415 0.084 3.253 0.276 0.297 0.165 0.278 5.712

Problem 1460

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

35 36 35 32 33 33 31 43 31

N.S.

1 1.03 1.00 0.91 0.94 0.94 0.89 1.23 0.89

time (sec)

N/A 0.178 0.013 5.149 0.189 0.291 0.329 0.305 0.088

Problem 1461

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

272 322 367 34 0 232 22 442 115

N.S.

1 1.18 1.35 0.12 0.00 0.85 0.08 1.62 0.42

time (sec)

N/A 0.583 0.100 5.267 0.000 0.292 0.092 0.310 5.891

Problem 1462

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

267 302 324 27 0 272 26 437 110

N.S.

1 1.13 1.21 0.10 0.00 1.02 0.10 1.64 0.41

time (sec)

N/A 0.520 0.072 3.229 0.000 0.303 0.084 0.384 5.897

Problem 1463

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

267 306 324 27 0 288 29 437 110

N.S.

1 1.15 1.21 0.10 0.00 1.08 0.11 1.64 0.41

time (sec)

N/A 0.522 0.110 11.228 0.000 0.329 0.089 0.382 6.048

Problem 1464

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

267 306 324 27 0 272 27 437 110

N.S.

1 1.15 1.21 0.10 0.00 1.02 0.10 1.64 0.41

time (sec)

N/A 0.528 0.139 15.039 0.000 0.308 0.094 0.394 0.188

Problem 1465

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

267 310 324 27 0 248 20 437 110

N.S.

1 1.16 1.21 0.10 0.00 0.93 0.07 1.64 0.41

time (sec)

N/A 0.521 0.090 11.006 0.000 0.281 0.089 0.292 6.330

Problem 1466

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

275 317 377 36 0 273 29 453 118

N.S.

1 1.15 1.37 0.13 0.00 0.99 0.11 1.65 0.43

time (sec)

N/A 0.540 0.151 11.221 0.000 0.302 0.111 0.373 0.162

Problem 1467

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

277 323 395 36 0 337 36 453 118

N.S.

1 1.17 1.43 0.13 0.00 1.22 0.13 1.64 0.43

time (sec)

N/A 0.537 0.100 5.334 0.000 0.299 0.131 0.373 6.378

Problem 1468

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

277 323 395 36 0 337 36 453 118

N.S.

1 1.17 1.43 0.13 0.00 1.22 0.13 1.64 0.43

time (sec)

N/A 0.542 0.095 3.118 0.000 0.316 0.157 0.377 0.172

Problem 1469

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

277 327 395 36 0 321 32 453 118

N.S.

1 1.18 1.43 0.13 0.00 1.16 0.12 1.64 0.43

time (sec)

N/A 0.530 0.141 5.296 0.000 0.289 0.164 0.282 0.178

Problem 1470

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

239 274 198 29 0 232 22 461 94

N.S.

1 1.15 0.83 0.12 0.00 0.97 0.09 1.93 0.39

time (sec)

N/A 0.473 0.072 5.467 0.000 0.288 0.091 0.292 6.387

Problem 1471

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 26 38 29 28 28 27 29 18

N.S.

1 1.08 1.58 1.21 1.17 1.17 1.12 1.21 0.75

time (sec)

N/A 0.165 0.016 3.398 0.275 0.302 0.068 0.264 6.316

Problem 1472

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

12 12 12 9 8 8 8 9 8

N.S.

1 1.00 1.00 0.75 0.67 0.67 0.67 0.75 0.67

time (sec)

N/A 0.139 0.005 3.390 0.184 0.279 0.040 0.273 0.038

Problem 1473

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 21 31 24 23 23 22 55 13

N.S.

1 1.24 1.82 1.41 1.35 1.35 1.29 3.24 0.76

time (sec)

N/A 0.161 0.008 5.330 0.284 0.304 0.068 0.273 6.238

Problem 1474

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

8 8 23 7 17 17 15 18 6

N.S.

1 1.00 2.88 0.88 2.12 2.12 1.88 2.25 0.75

time (sec)

N/A 0.137 0.006 3.291 0.190 0.281 0.052 0.275 0.100

Problem 1475

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 21 31 24 23 23 22 24 13

N.S.

1 1.24 1.82 1.41 1.35 1.35 1.29 1.41 0.76

time (sec)

N/A 0.153 0.006 5.188 0.280 0.282 0.063 0.285 0.027

Problem 1476

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

15 19 15 12 15 11 10 16 11

N.S.

1 1.27 1.00 0.80 1.00 0.73 0.67 1.07 0.73

time (sec)

N/A 0.144 0.007 3.191 0.184 0.264 0.051 0.275 5.858

Problem 1477

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 26 38 29 28 37 29 29 18

N.S.

1 1.08 1.58 1.21 1.17 1.54 1.21 1.21 0.75

time (sec)

N/A 0.160 0.008 5.501 0.279 0.287 0.080 0.287 0.049

Problem 1478

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 14 30 18 22 28 22 23 12

N.S.

1 0.88 1.88 1.12 1.38 1.75 1.38 1.44 0.75

time (sec)

N/A 0.145 0.007 3.342 0.183 0.275 0.065 0.261 0.037

Problem 1479

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 28 38 29 28 38 29 29 18

N.S.

1 1.17 1.58 1.21 1.17 1.58 1.21 1.21 0.75

time (sec)

N/A 0.161 0.009 3.375 0.265 0.298 0.086 0.309 0.056

Problem 1480

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 24 22 17 20 24 17 26 16

N.S.

1 1.09 1.00 0.77 0.91 1.09 0.77 1.18 0.73

time (sec)

N/A 0.160 0.007 3.246 0.188 0.280 0.077 0.281 5.869

Problem 1481

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A C C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

100 115 101 38 91 80 46 93 48

N.S.

1 1.15 1.01 0.38 0.91 0.80 0.46 0.93 0.48

time (sec)

N/A 0.318 0.044 3.308 0.276 0.277 126.346 0.276 0.084

Problem 1482

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A C C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

97 112 98 39 88 77 46 90 45

N.S.

1 1.15 1.01 0.40 0.91 0.79 0.47 0.93 0.46

time (sec)

N/A 0.314 0.025 3.177 0.279 0.302 127.619 0.280 5.846

Problem 1483

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A C C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

97 112 98 37 88 77 46 90 45

N.S.

1 1.15 1.01 0.38 0.91 0.79 0.47 0.93 0.46

time (sec)

N/A 0.295 0.022 3.166 0.270 0.319 129.105 0.264 0.068

Problem 1484

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A C C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

97 112 98 37 88 77 46 90 45

N.S.

1 1.15 1.01 0.38 0.91 0.79 0.47 0.93 0.46

time (sec)

N/A 0.305 0.021 3.353 0.275 0.282 127.246 0.292 6.120

Problem 1485

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A C C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

97 112 98 35 88 77 44 90 45

N.S.

1 1.15 1.01 0.36 0.91 0.79 0.45 0.93 0.46

time (sec)

N/A 0.295 0.019 3.276 0.268 0.312 132.311 0.296 0.041

Problem 1486

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A C C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

102 117 109 44 93 90 49 95 50

N.S.

1 1.15 1.07 0.43 0.91 0.88 0.48 0.93 0.49

time (sec)

N/A 0.321 0.041 3.443 0.278 0.291 120.407 0.290 0.048

Problem 1487

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A C C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

104 119 104 42 93 104 53 95 50

N.S.

1 1.14 1.00 0.40 0.89 1.00 0.51 0.91 0.48

time (sec)

N/A 0.312 0.049 3.379 0.270 0.301 139.516 0.299 0.048

Problem 1488

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A C C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

104 119 104 42 93 104 53 95 50

N.S.

1 1.14 1.00 0.40 0.89 1.00 0.51 0.91 0.48

time (sec)

N/A 0.320 0.048 3.339 0.280 0.291 143.231 0.266 0.049

Problem 1489

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A C C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

104 119 104 40 93 104 51 95 50

N.S.

1 1.14 1.00 0.38 0.89 1.00 0.49 0.91 0.48

time (sec)

N/A 0.320 0.045 3.361 0.275 0.298 143.653 0.277 6.113

Problem 1490

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A C A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

100 105 191 28 85 74 85 85 42

N.S.

1 1.05 1.91 0.28 0.85 0.74 0.85 0.85 0.42

time (sec)

N/A 0.297 0.093 3.375 0.280 0.297 0.068 0.292 6.000

Problem 1491

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

10 10 10 9 8 8 7 8 8

N.S.

1 1.00 1.00 0.90 0.80 0.80 0.70 0.80 0.80

time (sec)

N/A 0.129 0.004 3.124 0.186 0.301 0.039 0.294 5.860

Problem 1492

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A C A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

93 102 149 22 80 69 80 199 37

N.S.

1 1.10 1.60 0.24 0.86 0.74 0.86 2.14 0.40

time (sec)

N/A 0.284 0.046 11.315 0.286 0.309 0.069 0.403 0.060

Problem 1493

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

8 8 8 7 6 6 5 6 6

N.S.

1 1.00 1.00 0.88 0.75 0.75 0.62 0.75 0.75

time (sec)

N/A 0.135 0.005 3.270 0.274 0.285 0.045 0.285 5.970

Problem 1494

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A C A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

93 102 149 20 80 69 80 80 37

N.S.

1 1.10 1.60 0.22 0.86 0.74 0.86 0.86 0.40

time (sec)

N/A 0.275 0.026 3.161 0.282 0.310 0.073 0.303 0.041

Problem 1495

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

13 17 13 12 15 11 10 15 11

N.S.

1 1.31 1.00 0.92 1.15 0.85 0.77 1.15 0.85

time (sec)

N/A 0.135 0.007 3.290 0.193 0.290 0.046 0.265 5.888

Problem 1496

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B C A C A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

100 107 208 30 85 87 87 97 42

N.S.

1 1.07 2.08 0.30 0.85 0.87 0.87 0.97 0.42

time (sec)

N/A 0.300 0.042 5.322 0.278 0.287 0.083 0.291 5.717

Problem 1497

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 16 16 13 12 15 14 12 12

N.S.

1 1.00 1.00 0.81 0.75 0.94 0.88 0.75 0.75

time (sec)

N/A 0.142 0.008 3.275 0.278 0.273 0.058 0.270 0.027

Problem 1498

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A C A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

100 109 193 28 85 87 87 85 42

N.S.

1 1.09 1.93 0.28 0.85 0.87 0.87 0.85 0.42

time (sec)

N/A 0.287 0.078 3.192 0.293 0.289 0.084 0.308 5.728

Problem 1499

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 22 22 19 20 24 17 25 18

N.S.

1 1.00 1.00 0.86 0.91 1.09 0.77 1.14 0.82

time (sec)

N/A 0.160 0.015 3.115 0.188 0.283 0.061 0.297 0.047

Problem 1500

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

340 344 210 24 0 136 15 240 289

N.S.

1 1.01 0.62 0.07 0.00 0.40 0.04 0.71 0.85

time (sec)

N/A 0.680 0.018 5.495 0.000 0.297 1.176 0.290 6.014

[next] [prev] [prev-tail] [front] [up]